Categorical Modeling of a State OrientedVersion of Linear
نویسنده
چکیده
Several systems that promise a logical view of state in programming have been proposed in the literature. We investigate the syntax and semantics of one of these systems called LLMS, developed by Uday Reddy. We show that the existent categorical deenition of a model of LLMS is too conservative and introduce a neat way of revising the deenition. We give a concrete construction in a Dialectica category which forms a sound categorical model for the system.
منابع مشابه
Non-linear modeling, analysis, design and simulation of a solid state power amplifier based on GaN technology for Ku band microwave application
A new non-linear method for design and analysis of solid state power amplifiers is presented and applied to an aluminum gallium nitride, gallium nitride (AlGaN-GaN) high electron-mobility transistor (HEMTs) on silicon-carbide (SiC) substrate for Ku band (12.4 13.6 GHz) applications. With combining output power of 8 transistors, maximum output power of 46.3 dBm (42.6 W), PAE of 43% and linear ga...
متن کاملCategorical fracture orientation modeling: applied to an Iranian oil field
Fracture orientation is a prominent factor in determining the reservoir fluid flow direction in a formation because fractures are the major paths through which fluid flow occurs. Hence, a true modeling of orientation leads to a reliable prediction of fluid flow. Traditionally, various distributions are used for orientation modeling in fracture networks. Although they offer a fairly suitable est...
متن کاملTime-Invariant State Feedback Control Laws for a Special Form of Underactuated Nonlinear Systems Using Linear State Bisection
Linear state bisection is introduced as a new method to find time-invariant state feedback control laws for a special form of underactuated nonlinear systems. The specialty of the systems considered is that every unactuated state should be coupled with at least two directly actuated states. The basic idea is based on bisecting actuated states and using linear combinations with adjustable parame...
متن کاملAnalysis and Modeling of VoIP Servers: A Linear Programming Approach
The SIP protocol was standardized by the IETF at the application layer for initiating, managing, and terminating multimedia sessions and has been widely used as the main signaling protocol on both the Internet and VoIP networks. Most challenges in this protocol are overload and lack of proper state distribution. These challenges cause a wide range of next-generation network users to face a shar...
متن کاملProduction Constraints Modelling: A Tactical Review Approach
A constraint is a limitation or a restriction that poses a threat to the performance and efficiency of a system. This paper presented a tactical review approach to production constraints modeling. It discussed the theory of constraints (TOC) as a thinking process and continuous improvement strategy to curtail constraints in other to constantly increase the performance and efficiency of a system...
متن کامل